Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2

Source URL: software.imdea.org

• Data types
• Transaction processing
• Type theory
• Concurrency control
• Consistency model
• Eventual consistency
• Denotational semantics
• Extensible Storage Engine
• Primitive data type
• Parallel computing
• Type system
• Causal consistency

Implications of a Data Structure Consistency Checking System Viktor Kuncak, Patrick Lam, Karen Zee, and Martin Rinard MIT Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Cambridge, MA 02139, USA

Source URL: vstte.ethz.ch

Enforcing Routing Consistency in Structured Peer-to-Peer Overlays: Should We and Could We? Wei Chen Xuezheng Liu Microsoft Research Asia {weic, xueliu}@microsoft.com

Source URL: iptps06.cs.ucsb.edu

• Distributed data storage
• Computing
• Concurrent computing
• Distributed computing
• Tapestry
• Key-based routing
• Distributed hash table
• Peer-to-peer
• Scalability
• Routing
• Chord
• Eventual consistency

PNUTS: Yahoo!’s Hosted Data Serving Platform Brian F. Cooper, Raghu Ramakrishnan, Utkarsh Srivastava, Adam Silberstein, Philip Bohannon, Hans-Arno Jacobsen, Nick Puz, Daniel Weaver and Ramana Yerneni Yahoo! Research A

Source URL: css.csail.mit.edu

• Distributed computing architecture
• Fault-tolerant computer systems
• NoSQL
• Data management
• Consistency model
• Transaction processing
• Replication
• Eventual consistency
• Database
• Distributed database
• Tablet computer
• Scalability

Transactional Consistency and Automatic Management in an Application Data Cache Dan R. K. Ports Austin T. Clements

Source URL: www.news.cs.nyu.edu

Replicated Data Types: Specification, Verification, Optimality Sebastian Burckhardt Alexey Gotsman Hongseok Yang

Source URL: software.imdea.org

• Computing
• Data types
• Software engineering
• Computer programming
• Abstract data types
• Fault-tolerant computer systems
• Type theory
• Consistency model
• Transaction processing
• Replication
• String
• List

GeneMark-RC, a Recursive Procedure for Gene Identication in the Genomic Sequence Data with Self-Consistency Evaluation; Its Application to the Analysis of Several Prokaryotic Genomes Makoto Hirosawa 1

Source URL: www.jsbi.org

Data Sharing Analysis for Titanium Ben Liblit liblit@ cs. berkeley. edu Alex Aiken

Source URL: titanium.cs.berkeley.edu

• Computing
• Concurrent computing
• Software engineering
• Parallel computing
• Type theory
• Data types
• Distributed computing architecture
• Benchmark
• Type system
• Type inference
• Consistency model
• Shared memory

A Framework for Transactional Consistency Models with Atomic Visibility Andrea Cerone, Giovanni Bernardi, and Alexey Gotsman IMDEA Software Institute, Madrid, Spain Abstract

Source URL: software.imdea.org

• Transaction processing
• Computing
• Data management
• Data
• Schedule
• Consistency model
• Readwrite conflict
• Writeread conflict
• Snapshot isolation
• Isolation
• Database transaction
• Replication

Understanding Eventual Consistency March 25, 2013 Technical Report MSR-TR

Source URL: software.imdea.org

• Transaction processing
• Data management
• Consistency model
• Eventual consistency
• Consistency
• Causal consistency
• Atomicity
• ACE
• Axiom
• Formalism
• Scalability
• Database